Injective and Projective Heyting Algebras^) by Raymond Balbes and Alfred Horn

The determination of the injective and projective members of a category is usually a challenging problem and adds to knowledge of the category. In this paper we consider these questions for the category of Heyting algebras. There has been a lack of uniformity in terminology in recent years. In [6] Heyting algebras are referred to as pseudo-Boolean algebras, and in [1] they are called Brouwerian lattices. We would argue for retaining the name Heyting algebras for the reasons given in [2, p. 162], reserving the name Brouwerian algebras for the algebras dual to Heyting algebras. The fundamental paper on Brouwerian algebras (and therefore Heyting algebras) is [4]. We shall show that a Heyting algebra is injective if and only if it is a complete Boolean algebra. The determination of projective Heyting algebras is, as usual, more difficult. We shall characterize all projective Heyting algebras which are finite or are chains. Some other results on projective algebras are given.